<html>
<head><meta charset="utf-8"><title>meeting 2019-04-22 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html">meeting 2019-04-22</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="163923850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923850">(Apr 22 2019 at 18:06)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> -- shall we do a quick sync meeting?</p>



<a name="163923858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923858">(Apr 22 2019 at 18:06)</a>:</h4>
<p>So, today, we had a first call covering the chalk-engine crate</p>



<a name="163923859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923859">(Apr 22 2019 at 18:06)</a>:</h4>
<p>Okay</p>



<a name="163923862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923862">(Apr 22 2019 at 18:06)</a>:</h4>
<p>Hi</p>



<a name="163923863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923863">(Apr 22 2019 at 18:06)</a>:</h4>
<p>(I'll hopefully post the video soon)</p>



<a name="163923868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163923868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163923868">(Apr 22 2019 at 18:06)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="163924034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924034">(Apr 22 2019 at 18:08)</a>:</h4>
<p>The call was great btw, time flew by</p>



<a name="163924156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924156">(Apr 22 2019 at 18:10)</a>:</h4>
<p>Sorry, got distracted locally, but I'm back now =) Here is our <a href="https://paper.dropbox.com/doc/2019.03.18-2019.04.29--Abvmq07ldXflRtSt4d~853zhAg-5gix1dpUSHKirVcEww5iw" target="_blank" title="https://paper.dropbox.com/doc/2019.03.18-2019.04.29--Abvmq07ldXflRtSt4d~853zhAg-5gix1dpUSHKirVcEww5iw">sprint paper document</a></p>



<a name="163924174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924174">(Apr 22 2019 at 18:10)</a>:</h4>
<p>(er, that link was broken, but fixed it)</p>



<a name="163924215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924215">(Apr 22 2019 at 18:11)</a>:</h4>
<p>Let's walk down the various goals a bit I guess</p>



<a name="163924227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924227">(Apr 22 2019 at 18:11)</a>:</h4>
<p>1 more week! <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="163924231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924231">(Apr 22 2019 at 18:11)</a>:</h4>
<p>Although I think maybe some reorg might be in order</p>



<a name="163924251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924251">(Apr 22 2019 at 18:11)</a>:</h4>
<p>(1 week left in the sprint, that is)</p>



<a name="163924304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924304">(Apr 22 2019 at 18:12)</a>:</h4>
<p>In terms of the first goal, chalk-rustc integration, I think that our main focus has been on trying to tackle some of the "bigger questions", most notably how to handle built-in bounds --</p>



<a name="163924321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924321">(Apr 22 2019 at 18:12)</a>:</h4>
<p>we haven't really gotten to that goal :) but I think the chalk-engine discussion etc is good background</p>



<a name="163924322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924322">(Apr 22 2019 at 18:12)</a>:</h4>
<p>so we'll count that =)</p>



<a name="163924362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924362">(Apr 22 2019 at 18:13)</a>:</h4>
<p>I'll be making a PR for Copy/Clone soon</p>



<a name="163924370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924370">(Apr 22 2019 at 18:13)</a>:</h4>
<p>just needs a test</p>



<a name="163924375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924375">(Apr 22 2019 at 18:13)</a>:</h4>
<p>ah, nice</p>



<a name="163924393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924393">(Apr 22 2019 at 18:13)</a>:</h4>
<p>quick notes: I've made no progress on HRTBs &amp; generic closures;</p>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> lost Aaron as a reviewer so we need a new one</p>



<a name="163924398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924398">(Apr 22 2019 at 18:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> maybe game for that?</p>



<a name="163924419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924419">(Apr 22 2019 at 18:13)</a>:</h4>
<p>Oh, one other bit of context, I had originally hoped that <span class="user-mention" data-user-id="116010">@Aaron Turon</span> would be participating more but it turns out that at least for the next little while he won't have enough time for that (maybe a bit later)</p>



<a name="163924431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924431">(Apr 22 2019 at 18:13)</a>:</h4>
<p>I don't know if we ever enumerated what all the bits are for builtin stuff</p>



<a name="163924438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924438">(Apr 22 2019 at 18:13)</a>:</h4>
<p>well, we didn't really</p>



<a name="163924493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924493">(Apr 22 2019 at 18:14)</a>:</h4>
<p>I think our goal was that we would start by doing some kind of concrete progress on the code</p>



<a name="163924508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924508">(Apr 22 2019 at 18:14)</a>:</h4>
<p>and then we would talk about the bigger questions of (e.g.) how <em>should</em> we handle it when we have a goal like <code>?T: Sized</code></p>



<a name="163924537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924537">(Apr 22 2019 at 18:14)</a>:</h4>
<p>anyway, let's come back to that, let's look at the rest of the doc for a bit</p>



<a name="163924538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924538">(Apr 22 2019 at 18:15)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> maybe game for that?</p>
</blockquote>
<p>if <span class="user-mention" data-user-id="116009">@nikomatsakis</span> can mentor me through the review I can take a look</p>



<a name="163924563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924563">(Apr 22 2019 at 18:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> <span class="user-mention" data-user-id="116009">@nikomatsakis</span> alright; assigning you both then <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="163924637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924637">(Apr 22 2019 at 18:16)</a>:</h4>
<p>So the next section was "Focus: exploring chalk integration “future steps”</p>



<a name="163924646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924646">(Apr 22 2019 at 18:16)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> has been doing great work on the chalk crate structure</p>



<a name="163924720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924720">(Apr 22 2019 at 18:17)</a>:</h4>
<p>I think the follow ups once <a href="https://github.com/rust-lang/chalk/issues/214" target="_blank" title="https://github.com/rust-lang/chalk/issues/214">https://github.com/rust-lang/chalk/issues/214</a> is done (which looks to be almost the case), is to start exploring the query structure we need for chalk, and also to push a bit more with RLS integration</p>



<a name="163924786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924786">(Apr 22 2019 at 18:18)</a>:</h4>
<p>Let's come back to the details of that too, I guess, next heading is:</p>
<p># Focus: associated type bounds</p>



<a name="163924796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924796">(Apr 22 2019 at 18:18)</a>:</h4>
<p>sounds like <span class="user-mention" data-user-id="116883">@tmandry</span> and I will do some reviewing there? cc <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> for update :)</p>



<a name="163924799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924799">(Apr 22 2019 at 18:18)</a>:</h4>
<p>already dealt with it</p>



<a name="163924802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924802">(Apr 22 2019 at 18:18)</a>:</h4>
<p>oh, did the work land?</p>



<a name="163924808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924808">(Apr 22 2019 at 18:18)</a>:</h4>
<p>cool, thanks <span class="user-mention" data-user-id="116883">@tmandry</span></p>



<a name="163924815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924815">(Apr 22 2019 at 18:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> no, I mean we already dealt with that part of the sprint doc :D</p>



<a name="163924818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924818">(Apr 22 2019 at 18:19)</a>:</h4>
<p>(I guess you saw my suggestion on GH? hope I'm not putting an extra burden on you heh)</p>



<a name="163924820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924820">(Apr 22 2019 at 18:19)</a>:</h4>
<p>ah, ok :)</p>



<a name="163924846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924846">(Apr 22 2019 at 18:19)</a>:</h4>
<blockquote>
<p>Focus: RFCs for HRTBs &amp; generic closures</p>
</blockquote>
<p>I left a note (no progress yet...)</p>



<a name="163924855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924855">(Apr 22 2019 at 18:19)</a>:</h4>
<p>I have been very busy lately. not much time for compiler dev. but getting back to maybe bounds in my trait alias PR soon btw... I guess that's somewhat trait-related.</p>



<a name="163924867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924867">(Apr 22 2019 at 18:19)</a>:</h4>
<p>definitely is</p>



<a name="163924884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924884">(Apr 22 2019 at 18:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>  Do we want to move upcasting onto the sprint or wait (until the "next" one)?</p>



<a name="163924934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924934">(Apr 22 2019 at 18:20)</a>:</h4>
<p>Seems like we might as well add it</p>



<a name="163924938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924938">(Apr 22 2019 at 18:20)</a>:</h4>
<p>if there is active work happening</p>



<a name="163924944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924944">(Apr 22 2019 at 18:20)</a>:</h4>
<p>I will hopefully start working on it today or tomorrow</p>



<a name="163924946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924946">(Apr 22 2019 at 18:20)</a>:</h4>
<p>nothing so far sorry</p>



<a name="163924947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924947">(Apr 22 2019 at 18:20)</a>:</h4>
<p>I also just added another heading (implied bounds)</p>



<a name="163924955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924955">(Apr 22 2019 at 18:20)</a>:</h4>
<blockquote>
<p>nothing so far sorry</p>
</blockquote>
<p>you're doing plenty :P</p>



<a name="163924960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924960">(Apr 22 2019 at 18:20)</a>:</h4>
<p>what should we add there?</p>



<a name="163924964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924964">(Apr 22 2019 at 18:20)</a>:</h4>
<p>in terms of "upcasting"</p>



<a name="163924976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924976">(Apr 22 2019 at 18:21)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> Nice work; but don't stretch yourself too thin <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="163924999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163924999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163924999">(Apr 22 2019 at 18:21)</a>:</h4>
<p>okay, cheers :-)</p>



<a name="163925014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925014">(Apr 22 2019 at 18:21)</a>:</h4>
<p>We should probably discuss trait upcasting a bit separately -- I'm tempted to say it could be a WG of its own. It might be an area where we could e.g. use another person to help draft up a design doc etc</p>



<a name="163925075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925075">(Apr 22 2019 at 18:22)</a>:</h4>
<p>yep... I forget who we proposed could help with design?</p>



<a name="163925089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925089">(Apr 22 2019 at 18:22)</a>:</h4>
<p>or maybe no one yet</p>



<a name="163925096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925096">(Apr 22 2019 at 18:22)</a>:</h4>
<p>I was probably going to do that but it seems I have too much to do atm</p>



<a name="163925104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925104">(Apr 22 2019 at 18:22)</a>:</h4>
<p>let's discuss that when we have broader planning towads end of sprint</p>



<a name="163925114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925114">(Apr 22 2019 at 18:22)</a>:</h4>
<blockquote>
<p>I was probably going to do that but it seems I have too much to do atm</p>
</blockquote>
<p>there are some people starting to show up in response to my recent blog post</p>



<a name="163925123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925123">(Apr 22 2019 at 18:22)</a>:</h4>
<p>yeah, let's not heap something new onto centril's plate if we can avoid it heh</p>



<a name="163925127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925127">(Apr 22 2019 at 18:22)</a>:</h4>
<p>we should think about how to "recruit" and what skills we want</p>



<a name="163925137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925137">(Apr 22 2019 at 18:22)</a>:</h4>
<blockquote>
<blockquote>
<p>I was probably going to do that but it seems I have too much to do atm</p>
</blockquote>
<p>there are some people starting to show up in response to my recent blog post</p>
</blockquote>
<p>cool. got a link?</p>



<a name="163925164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925164">(Apr 22 2019 at 18:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> also, by "design doc" do you mean for impl or an RFC?</p>



<a name="163925176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925176">(Apr 22 2019 at 18:23)</a>:</h4>
<p>(I assumed the latter)</p>



<a name="163925184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925184">(Apr 22 2019 at 18:23)</a>:</h4>
<p>yeah I think so</p>



<a name="163925188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925188">(Apr 22 2019 at 18:23)</a>:</h4>
<p>RFC draft at least</p>



<a name="163925202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925202">(Apr 22 2019 at 18:24)</a>:</h4>
<p>I think I meant both</p>



<a name="163925207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925207">(Apr 22 2019 at 18:24)</a>:</h4>
<p>:)</p>



<a name="163925244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925244">(Apr 22 2019 at 18:24)</a>:</h4>
<p>I've got rough notes on impl from eddyb and niko</p>



<a name="163925254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925254">(Apr 22 2019 at 18:24)</a>:</h4>
<p>but only rough</p>



<a name="163925255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925255">(Apr 22 2019 at 18:24)</a>:</h4>
<p>I think that there should be a chapter in rustc-guide that describes how things work</p>



<a name="163925261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925261">(Apr 22 2019 at 18:24)</a>:</h4>
<p>that chapter can begin life in an rFC</p>



<a name="163925264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925264">(Apr 22 2019 at 18:24)</a>:</h4>
<p>enough for me to get going on coding, but yeah</p>



<a name="163925267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925267">(Apr 22 2019 at 18:24)</a>:</h4>
<blockquote>
<p>cool. got a link?</p>
</blockquote>
<p>e.g., check out the <a class="stream" data-stream-id="122652" href="/#narrow/stream/122652-new-members">#new members</a> section</p>



<a name="163925274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925274">(Apr 22 2019 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> and the reference ;)</p>



<a name="163925290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925290">(Apr 22 2019 at 18:25)</a>:</h4>
<p>depends on what details we're talking about, but yeah</p>



<a name="163925303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925303">(Apr 22 2019 at 18:25)</a>:</h4>
<p>so</p>
<p># implied bounds</p>



<a name="163925308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925308">(Apr 22 2019 at 18:25)</a>:</h4>
<p>I bring this up for two reasons</p>



<a name="163925319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925319">(Apr 22 2019 at 18:25)</a>:</h4>
<p>but one of them is that <span class="user-mention" data-user-id="131694">@scalexm</span> mentioned that they have some free time this week :)</p>



<a name="163925326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925326">(Apr 22 2019 at 18:25)</a>:</h4>
<p>sure; I'm still inclined to run this inside wg-traits cause it doesn't seem so big; and iterate on design docs in that repo</p>



<a name="163925334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925334">(Apr 22 2019 at 18:25)</a>:</h4>
<p>seems fine</p>



<a name="163925362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925362">(Apr 22 2019 at 18:25)</a>:</h4>
<p>(I'm really looking forward to some collaborative RFC writing!)</p>



<a name="163925421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925421">(Apr 22 2019 at 18:26)</a>:</h4>
<p>my feeling is that there are a number of things "around" implied bounds that it would be good to have more discussion of</p>



<a name="163925432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925432">(Apr 22 2019 at 18:26)</a>:</h4>
<p>first off, we could probably start by just explaining how the current chalk lowering rules work, as they effectively <em>implement</em> implied bounds</p>



<a name="163925451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925451">(Apr 22 2019 at 18:26)</a>:</h4>
<p>hmm; not sure why we are focusing on implied bounds... does it unblock anything?</p>



<a name="163925465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925465">(Apr 22 2019 at 18:27)</a>:</h4>
<p>this is basically explaining what this <code>Implemented(X: TraitRef)</code> stuff means and why it is this way</p>



<a name="163925563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925563">(Apr 22 2019 at 18:28)</a>:</h4>
<p>(I mean... if <span class="user-mention" data-user-id="131694">@scalexm</span> enjoys working on that, far be it from me to say otherwise ^^)</p>



<a name="163925574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925574">(Apr 22 2019 at 18:28)</a>:</h4>
<blockquote>
<p>but one of them is that <span class="user-mention silent" data-user-id="131694">scalexm</span> mentioned that they have some free time this week <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>
</blockquote>
<p>So what's the other reason?</p>



<a name="163925610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925610">(Apr 22 2019 at 18:29)</a>:</h4>
<p>I'm trying to figure out how to write them out :)</p>



<a name="163925695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925695">(Apr 22 2019 at 18:30)</a>:</h4>
<p>I think part of it is that I want to have a good, widespread understanding of the way that the lowering rules are setup, and when I say 'implied bounds' I sort of mean more <em>explain why chalk lowering are setup the way they are</em> and perhaps also <em>do some bike-shedding to pick the best names for some of the concepts involved</em></p>



<a name="163925710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925710">(Apr 22 2019 at 18:30)</a>:</h4>
<p>I also feel like they intersect somewhat heavily the matter of how to deal with <code>dyn Trait</code> types in chalk</p>



<a name="163925733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925733">(Apr 22 2019 at 18:31)</a>:</h4>
<p>But I dont' know how urgent it is</p>



<a name="163925738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925738">(Apr 22 2019 at 18:31)</a>:</h4>
<p>actually <span class="user-mention" data-user-id="131694">@scalexm</span></p>



<a name="163925744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925744">(Apr 22 2019 at 18:31)</a>:</h4>
<p>if you have some free time this week</p>



<a name="163925748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925748">(Apr 22 2019 at 18:31)</a>:</h4>
<p>maybe the best thing for us to do with it :) (presuming I Get to steal it)</p>



<a name="163925755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925755">(Apr 22 2019 at 18:31)</a>:</h4>
<p>is to really dig into the "high-level picture" of the work to be done</p>



<a name="163925764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925764">(Apr 22 2019 at 18:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Another point is <code>type Assoc: Foo&lt;Assoc2: Bar&gt;;</code> -- ATBs get implemented for real only with implied bounds (or with other hacks)</p>



<a name="163925770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925770">(Apr 22 2019 at 18:31)</a>:</h4>
<p>I think trying to map this out and have a good "roadmap" of it (which we can refer back to as we plan sprints etc) has been the biggest challenge</p>



<a name="163925819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925819">(Apr 22 2019 at 18:32)</a>:</h4>
<p>and we didn't do "the other hacks" for now</p>



<a name="163925892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925892">(Apr 22 2019 at 18:33)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> if it would work for you, I'd be game to try and schedule e.g. 2 or 3 sync Zulip chats this week (or calls, if we think that's better)</p>



<a name="163925905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163925905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163925905">(Apr 22 2019 at 18:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> that could work</p>



<a name="163926012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163926012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163926012">(Apr 22 2019 at 18:34)</a>:</h4>
<p>ok, so let's add an item of "roadmap planning" and then do the scheduling in another topic</p>



<a name="163926057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163926057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163926057">(Apr 22 2019 at 18:35)</a>:</h4>
<p>ok, anything more to add before we end the meeting? (we're at time anywaY)</p>



<a name="163926155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019-04-22/near/163926155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019-04-22.html#163926155">(Apr 22 2019 at 18:36)</a>:</h4>
<p>Not to my knowledge; <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>